Corrado Lagazio Curriculum Vitae Et Studiorum
نویسنده
چکیده
• Metodi statistici per lo studio della distribuzione spaziale del rischio di malattia (disease mapping) • Metodi statistici per la stima del rischio di malattia in presenza di potenziali sorgenti di inquinamento 1
منابع مشابه
Curriculum Vitae et Studiorum
Education – Ph.D. in Computer Science, September 1997, Università degli Studi di Milano, Italy Thesis: Strongly Constructive Formal Systems. Supervisor: Prof. Pierangelo Miglioli – Bachelor of Science with distinction in Computer Science, December 1990. Università degli Studi di Milano, Italy Thesis: Logiche intermedie costruttive massimali (Maximal Intermediate Constructive Logics). Supervisor...
متن کاملCurriculum Vitae Et Studiorum
with valuation 110/110 cum laude Thesis: " Polymorphism and subtyping in MetaML " Supervisor: Eugenio Moggi • July 1996 High school degree at the " Istituto Tecnico Statale F.Liceti " of Rapallo (Gen-ova), with valuation 60/60 English: scholastic knowledge (PET certificate) French: scholastic knowledge Research activity Research interests Formal semantics of programming languages, functional an...
متن کاملCurriculum vitae et studiorum
1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...
متن کامل